а)Сдал Ложкину
Спрашивает по две вещи из каждого раздела, просит написать на листочку формулировки того, где можно бутыльнуться
1) спросил про ДНФ Квайна
Градиентный алгоритм - что такое и оценка сложности
2) спросил, для каких структур есть КПСТ
Какие условия надо наложить на КС, чтобы у них появилась КПСТ?
Подобные формулы
Оптимизация их по глубине
3) Определение ДУМ
В каких асимптотически точных оценках ДУМ использовался (во всех, но везде по-разному)
4) (p,q) самокоррект. КС
Определить функцию Шеннона для них, сказать, при каких p,q можно получить асимтотику, написать оценку
Идея ее вывода про звёзды и циклы
5)
- Можете рассказать, что такое BDD?
- Не, в душе не знаю, что это, в методичке не было
- Ок, вы хорошо отвечали на прошлые

б) у них какое-то правило, что надо задать по 2-3 вопроса по каждой из тем и если не отвечаешь на 1, то ничего. А если на 2 - то уже не можешь получить отл.
Меня спросили:
1) из первой темы: минимизацию ДНФ (функционал сложности), что такое ранг и длина, значения их функций Шеннона (ну и что такое функция Шеннона), значение ранг от функции для почти всех функций
2)Из второй темы: в чем заключается задача преобразования эквивалентных формул, теорема перехода и сто означает, что заданы правила перехода от одного базиса к другому в этом утверждении
3) Из третьей темы: суперпозиция схем(+правильная и корректная), асимптотическая оценка функции Шеннона по методу Лупанова для СФЭ: я 2 утверждения назвала, из которых она вытекает. 

в)Меня попросили написать метод лупанова, оценить штуки из его доказательства и как глубину формул ограничиваем с двух сторон

г)Спрашивал ДНФ Квайна, критерий вхождения в сумму тупиковых, определение контактных схем корректирующих p обрывов и q замыканий, определение цикломатического числа для графа и для контактной схемы, функция шеннона и ассимптотика её от корректирующих 1 разрыв или 1 замыкание (важно что совпадает с ассимптотикой обычных функций шеннона без коррекции), определение ДУМ, вопрос "где используется ДУМ" (во всех трёх оптимальных методах синтеза - КС СФЭ Формулы), вопрос "что моделируется в контактных схемах при таком методе синтеза" (не просто ДУМ, а характеристические функции соответствующих "отрезков" булева куба, по крайней мере я так понял). Ещё определение регулярной грани и регулярной точки и пучка.